A Hardware-assisted Instruction Security Monitoring Design in Embedded System
نویسندگان
چکیده
This paper presents a series of novel architectural-enhanced security solutions. In the crosscompilation link stage, the automated compiler extracts the intrusion model for instruction code and static data, meanwhile secure tags of each main memory segment are added at the compile time automatically. At runtime, the designed hardware observes its dynamic execution trace and checks whether the trace conforms to the permissible behavior and trigger appropriate response mechanisms. The proposed methods don’t change the compiler or the existing instruction set and imposes no special restriction to the software developer. The hardware structure of protection design is implemented on an actual OR1200FPGA platform. The experimental analysis shows that the proposed techniques can prevent a wide range of common software and physical attacks with minimal resource cost and low performance consumption.
منابع مشابه
Hardware Monitors for Secure Processing in Embedded Operating Systems
To my mother, Anuja and my father, Thomas. v ACKNOWLEDGMENTS I would like to thank Professor Russell Tessier for giving me the opportunity to work on this project and for his constant motivation and guidance. I am also grateful to Professor Tilman Wolf and Professor Daniel Holcomb for agreeing to be on my thesis committee. I would like to extend my gratitude to Arman Pouraghily and Kekai Hu for...
متن کاملLarge-scale, parallel embedded applications: a hardware design model for software engineers†
Parallel servers are becoming an important sector in the embedded systems marketplace. If software engineers are to implement the multi-algorithm applications that these servers support, then educators should provide clear design routes which inculcate system-level thinking. Pipelined Processor Farms (PPF) is one such topdown design strategy. The contemporary hardware diversity within both proc...
متن کاملLarge-scale, parallel embedded applications: A hardware design model for software engineers
Parallel servers are becoming an important sector in the embedded systems marketplace. If software engineers are to implement the multi-algorithm applications that these servers support, then educators should provide clear design routes which inculcate system-level thinking. Pipelined Processor Farms (PPF) is one such topdown design strategy. The contemporary hardware diversity within both proc...
متن کاملDevelopment of system decision support tools for behavioral trends monitoring of machinery maintenance in a competitive environment
The article is centred on software system development for manufacturing company that produces polyethylene bags using mostly conventional machines in a competitive world where each business enterprise desires to stand tall. This is meant to assist in gaining market shares, taking maintenance and production decisions by the dynamism and flexibilities embedded in the package as customers’ demand ...
متن کاملRelative Study in Architecture and Design Methodologies for Secured Real Time Embedded Systems
The embedded systems field is growing rapidly,with devices such as cellular phones, PDAs, smart cards, and digital music players permeating society. On the horizon are futuristic technologies such as embedded network sensors and wearable computers, which promise even greater interaction between humans and machines. As embedded devices are increasingly integrated into personal and commercial inf...
متن کامل